‘Games That Make Sense’: logic, language, and multi-agent interaction
نویسندگان
چکیده
Gabriel Sandu tells an appealing story of natural language viewed in terms of games and game theory, bringing together several strands from the philosophical, logical, and even computational literature. In this short invited note, I will take the cruising altitude a few levels up from his, and show you a panoramic picture where the clamour of the raw facts on the ground has become just soothing, but wholly negligeable background noise.
منابع مشابه
Verification of Games in the Game Description Language
The Game Description Language (GDL) is a special purpose declarative language for defining games. GDL is used in the AAAI General Game Playing Competition, which tests the ability of computer programs to play games in general, rather than just the ability to play a specific game. Participants in the competition are provided with a previously unknown game specified in GDL, and are required to dy...
متن کاملA domain specific language for describing diverse systems of dialogue
a r t i c l e i n f o a b s t r a c t This paper introduces the Dialogue Game Description Language (DGDL), a domain specific language for describing dialectical games. Communication is an important topic within agent research and is a fundamental factor in the development of robust and efficient multiagent systems. Similarly, argumentation has been recognised as a key component of an agent's ab...
متن کاملA Modal Characterization of Nash Equilibrium
Multi-agent systems comprise entities whose individual decision making behavior may depend on one another’s. Game-theory provides apposite concepts to reason in a mathematically precise fashion about such interactive and interdependent situations. This paper concerns a logical analysis of the game-theoretical notions of Nash equilibrium and its subgame perfect variety as they apply to a particu...
متن کاملCTL.STIT: enhancing ATL to express important multi-agent system verification properties
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim is very important for using the formalism for multi-agent system verification. We argue extensively that the extra expressivity is important for extending ATL to a language for reasoning about norms, strategic games, ...
متن کاملGames and Logics of Knowledge for Multi-agent Systems
New types of knowledge constructions in epistemic logic are defined, whose semantics is given by a combination of game-theoretic notions and modal semantics. A new notion of knowledge introduced in this framework is focussed knowledge, which arises from the game-theoretic phenomenon of imperfect information in quantified versions of epistemic logics. This notion is shown to be useful in knowled...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007